and Planning

Results: 108288



#Item
11Computing / Computer data storage / Server appliance / Network-attached storage / Nearline storage / Converged storage / Spectra Logic

BlackPearl® Network Attached Storage Easily and affordably manage data while planning for the future with BlackPearl Network Attached Storage (NAS) traditional file system (CIFS/NFS). The multi-functional BlackPearl NAS

Add to Reading List

Source URL: www.teradactyl.com

Language: English
12Operator theory / Harmonic analysis / Mathematics / Partial differential equations / Morphism of algebraic varieties / Beltrami equation

Planning and Patching Proofs: Exercise Solutions Lucas Dixon and Alan Bundy August 26, 2010 1

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-08-26 11:35:27
13Theoretical computer science / Logic in computer science / Logic programming / Mathematics / Mathematical logic / Fluent / Situation calculus / Event calculus / Utility / Artificial neural network / Robotics / Robot

Learning Human Utility from Video Demonstrations for Deductive Planning in Robotics Nishant Shukla, Yunzhong He, Frank Chen, and Song-Chun Zhu Center for Vision, Cognition, Learning, and Autonomy University of California

Add to Reading List

Source URL: shukla.io

Language: English - Date: 2017-10-15 18:03:50
14Market segmentation / Microeconomics / Business economics / Market economics) / Marketing / Target audience / Personalized marketing / Audience

SUPERIOR AUDIENCE PRECISION With SpotRight, you can design, build and activate high-performing custom audiences from a single application for the first time. This allows you to eliminate massive waste between planning an

Add to Reading List

Source URL: spotright.com

Language: English - Date: 2018-03-30 12:46:17
15Automated planning and scheduling / Artificial intelligence / Planning Domain Definition Language / Mathematical optimization / Model checking / Heuristic / Motion planning / Genetic algorithm / Protein domain / Cognitive science / Learning

Thesis Abstract: Constructing Heuristics for PDDL+ Planning Domains Wiktor Piotrowski Supervised by: Daniele Magazzeni and Maria Fox Department of Informatics King’s College London United Kingdom

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:38
16Financial services / Economy / Finance / Banking in China / H shares / CNX Nifty / Bank / Big Four / Industrial and Commercial Bank of China / HSBC / Chinabank / Shanghai

Case Study Bank Of Shanghai An examination of how – through early adoption of modern core banking software and clear strategic planning – Bank of Shanghai has readied itself for, and is already exploiting, the signif

Add to Reading List

Source URL: www.temenos.com

Language: English - Date: 2016-03-17 11:09:50
17Automated theorem proving / Heuristics / Rippling / Mathematical induction / Cognition

Planning and Patching Proofs: Exercises Lucas Dixon and Alan Bundy August 26, 2010 1

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-08-26 11:35:12
18Mathematics / Computational complexity theory / Nature-inspired metaheuristics / Applied mathematics / Ant colony optimization algorithms / Swarm intelligence / Optimization problem / Mathematical optimization / Ant / Swarm behaviour / Combinatorial optimization / Shortest path problem

Automated Planning and Scheduling ΕΟ Constellations’ Operations with Ant Colony Optimization Evridiki Vasileia Ntagiou Surrey Space Centre, University of Surrey Abstract

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:37
19Logic / Metaphysics / Philosophy of science / Theoretical philosophy / Reasoning / Logic in computer science / Expert systems / Inference / Logical consequence / Causality / Automated planning and scheduling / Forward chaining

Temporal Inference In Forward Search Temporal Planning Dissertation Abstract Atif Talukdar Supervisors: Maria Fox and Derek Long King’s College London London WC2R 2LS

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:43
20Control theory / Systems science / Automated planning and scheduling / Classical control theory / Metaphysics / Mathematical optimization / Systems theory / Nonlinear system / Planning Domain Definition Language / Motion planning / Controllability / Trajectory optimization

Mixed Discrete-Continuous Planning with Complex Behaviors Enrique Fernandez-Gonzalez Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory 32 Vassar Street, Building, Cambri

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:29
UPDATE